21. CSL'87 : 1st Workshop on Computer Science Logic, Karlsruhe FRG, October 12-16, 1987 : Proceedings
Author: E. Borger, H. Kleine Buning, M.M. Richter )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computers,Congresses ، Electronic data processing,Congresses ، Logic, Symbolic and mathematical,، Computer science -- Mathematics
Classification :
QA
76
.
L28
Vol
.
329
22. Cold war history
Author: edited by Frédéric Bozo ... [ et al.].
Library: Library of Islamic Parliament (Tehran)
Subject:
23. Commonsense Reasoning
Author: \ Erik T. Mueller, IBM Watson Group and IBM Research.
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Commonsense reasoning-- Automation.,Artificial intelligence-- Mathematics.,Logic, Symbolic and mathematical-- Data processing.,استدلال عام -- خودکاری
Classification :
E-Book
,
24. Commonsense reasoning /
Author: Erik T. Mueller.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence-- Mathematics.,Commonsense reasoning-- Automation.,Logic, Symbolic and mathematical-- Data processing.,Artificial Intelligence.,Automation.,Electronic Data Processing.,Artificial intelligence-- Mathematics.,Logic, Symbolic and mathematical-- Data processing.
Classification :
Q338
.
85
.
M84
2006eb
25. Includes bibliographical references (p. 49-51). 0,B
Author: Zeren Tanındı. ,/ Katie Normington.
Library: Library of Islamic Parliament (Tehran)
Subject:
26. Intelligent computer mathematics
Author: / Serge Autexier ... [et al] (eds.
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Algebra--Data processing--Congresses,Mathematical analysis--Data processing--Congresses,Logic, Symbolic and mathematical--Congresses
Classification :
QA
,
155
.
7
,.
E4
,
A35
,
2010
27. Mathematical Principles of Fuzzy Logic
Author: by Vilém Novák, Irina Perfilieva, Jiří Močkoř.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Electronic data processing.,Logic, Symbolic and mathematical.,Mathematics.
28. Mathematical logic and computability
Author: Keisler, H. Jerome.
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Mathematics ، Electronic data processing,، Logic, Symbolic and mathematical
Classification :
QA
76
.
9
.
M35
K45
1996
29. Mathematical logic and computability
Author: Keisler, H. Jerome
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Electronic data processing,، Algebra
Classification :
QA
9
.
K45
30. Mathematical logic and theoretical computer science
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Electronic data processing,، Algebra
Classification :
QA
9
.
2
.
M35
1987
31. Mathematical logic for computer science
Author: Lu, Chung-wan.
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Electronic data processing - Mathematics , Logic, Symbolic and mathematical
Classification :
QA
76
.
9
.
M35
L8
1989
32. Mathematical logic for computer science
Author: Lu, Chung-wan
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Mathematics ، Electronic data processing,، Logic, Symbolic and mathematical
Classification :
QA
76
.
9
.
M35
.
L8
1989
33. Proceedings
Author: Symposium on Logic in Computer Science )4th: 9891: Asilomar Conference Center, Pacific Grove, California(
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Electronic data processing- Mathematics- Congresses,، Logic, Symbolic and mathematical- Congresses
Classification :
QA
76
.
9
.
M35
S94
1989
34. Relational and algebraic methods in computer science. 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011. proceedings
Author: ]edited by[ Harrie de Swart
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: ، Software engineering,، Logic design,، Algebra -- Data processing,، Computer simulation,، Mathematical Logic and Formal Languages,، Symbolic and Algebraic Manipulation,، Logics and Meanings of Programs,، Simulation and Modeling,، Artificial Intelligence )incl. Robotics(,، Computer science -- Mathematics -- Congresses,، lgebraic logic -- Congresses,، Relation algebras -- Congresses,، RAMICS
Classification :
QA
76
.
9
.
R36
2011
35. Symbolic computation and education
Author: / editors, Shangzhi Li, Dongming Wang, Jing-Zhong Zhang
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Mathematics--Computer-assisted instruction--Congresses,Computable functions--Data processing--Congresses,Logic, Symbolic and mathematical--Congresses
Classification :
QA
,
20
,.
C65
,
I585
,
2006
36. Symbolic-numeric computation
Author: / Dongming Wang, Lihong Zhi, editors
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computable functions--Data processing--Congresses,Numerical analysis--Congresses,Logic, Symbolic and mathematical--Congresses
Classification :
QA
,
9
.
59
,.
S96
,
2007
